\begin{tabbing}
ecl{-}machine1\=\{\$ecl:ut2\}\+
\\[0ex]($i$; ${\it ds}$; ${\it da}$; $A$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$spreadn(\=ecl{-}trans($A$);\+
\\[0ex]$T$,${\it ks}$,${\it init}$,${\it tr}$,$h$,$a$,${\it es}$.R{-}state{-}var{-}init(\=$i$;\+
\\[0ex]${\it ds}$;
\\[0ex]${\it da}$;
\\[0ex]mkid\{\$ecl:ut2\};
\\[0ex]$T$;
\\[0ex]${\it init}$;
\\[0ex]${\it ks}$;
\\[0ex]${\it tr}$))
\-\-
\end{tabbing}